Mathematics of Operations Research - PDFSEARCH.IO - Document Search Engine

Mathematics of Operations Research
Results: 1289

#	Item
291	Safety Verification of Reactive Controllers for UAV Flight in Cluttered Environments using Barrier Certificates Andrew J. Barry, Anirudha Majumdar, and Russ Tedrake Abstract— Unmanned aerial vehicles (UAVs) have a so-f Add to Reading List Source URL: abarry.org Language: English - Date: 2012-02-11 02:59:02 Operations research Mathematical optimization Dynamical systems Control theory Cybernetics Linear programming Interior point method Convex optimization Vector space Mathematics Algebra Mathematical analysis
292	Fast Downward Stone Soup Malte Helmert and Gabriele R¨oger and Jendrik Seipp Erez Karpas University of Freiburg, Germany Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-04-30 16:52:25 Theoretical computer science Operations research Heuristics Combinatorial optimization NP-complete problems Greedy algorithm Heuristic function A* search algorithm Algorithm Mathematics Search algorithms Applied mathematics
293	Sequencing Operator Counts Nir Lipovetzky Toby Davies, Adrian R. Pearce, Peter Stuckey National ICT Australia and The University of Melbourne Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2015-03-31 00:25:28 Mathematical optimization Operations research Combinatorial optimization Convex optimization Linear programming Algorithm Constraint optimization A* search algorithm Relaxation Constraint programming Mathematics Applied mathematics
294	A Mathematical Framework for the Study of Coevolution Anthony Bucci DEMO Lab Computer Science Department, MS018 Brandeis University Add to Reading List Source URL: demo.cs.brandeis.edu Language: English - Date: 2003-02-02 08:58:09 Mathematics Operations research Abstraction Game theory Pareto efficiency Preorder Maximal element Entailment Multi-objective optimization Mathematical optimization Logic Order theory
295	Polynomial-sized semidefinite representations of derivative relaxations of spectrahedral cones James Saunderson Pablo A. Parrilo Add to Reading List Source URL: www.mit.edu Language: English - Date: 2013-12-13 10:48:54 Operations research Convex analysis Linear algebra Real algebraic geometry Convex optimization Semidefinite programming Spectrahedron Linear programming Convex cone Mathematical optimization Mathematics Geometry
296	Models and Strategies for Variants of the Job Shop Scheduling Problem Diarmuid Grimes1 and Emmanuel Hebrard2,3 1 3 Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2011-09-27 04:15:08 Applied mathematics Mathematics Constraint programming Job shop scheduling Boolean satisfiability problem Open shop scheduling Scheduling Shifting bottleneck heuristic Operations research Theoretical computer science Mathematical optimization
297	Algorithmic integration of geological uncertainty in pushback designs for complex multiprocess open pit mines Add to Reading List Source URL: cosmo.mcgill.ca Language: English - Date: 2014-04-23 14:31:29 Aircraft ground handling Pushback Tractors Mathematical optimization Simulated annealing Simulation Algorithm Mathematical sciences Operations research Applied mathematics Mathematics
298	Fast Downward Stone Soup: A Baseline for Building Planner Portfolios Malte Helmert and Gabriele R¨oger Erez Karpas University of Freiburg, Germany Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-04-30 16:52:25 Theoretical computer science Operations research Heuristics Combinatorial optimization NP-complete problems Greedy algorithm Heuristic function A* search algorithm Algorithm Mathematics Search algorithms Applied mathematics
299	TECHNOLOGY SCHEME OF WORK Add to Reading List Source URL: www.renewableworld.org.uk Language: English - Date: 2014-02-26 09:18:29 Building insulation Mathematical optimization Engineering Technology Education Sustainable building Operations research Mathematics
300	Generation of Eﬃcient Algorithms for Maximum Marking Problems (和訳: 最大マーク付け問題の効率的解法の自動生成) Isao Sasano Add to Reading List Source URL: www.sic.shibaura-it.ac.jp Language: English - Date: 2014-02-04 09:21:05 Operations research Combinatorial optimization Mathematical optimization NP-complete problems Algorithm Mathematical logic Knapsack problem Optimization problem Genetic algorithm Applied mathematics Theoretical computer science Computational complexity theory

UPDATE